An effective two-level proof-number search algorithm

The paper presents a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search (like PN), which performs at the first level a depth-first Proof-number and Disproof-number Search (PDS), and at the second level a bestfirst PN search. Hence, PDS-PN selectively exploits the power of both PN and PDS. Experiments in the domain of Lines of Action are performed. They show that within an acceptable time frame PDS-PN is more effective for really hard endgame positions than αβ and any other PN-search algorithm.